PMAN4
SEL@KIT
Author: Soushi Inoue
  • Research duration: undefined - undefined
  • Total publications: 1
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
  • International Conference (w/o review)
Publication counts by category
Research keywords
TowardsCharacterizingCommitPatternsFormallyVerifiedOpen-SourceProjectsLLM-basedClassification
Publications
To be published
International Conference

[1] Soushi Inoue, "Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification", Proc. of 27th International Symposium on Formal Methods (FM 2026), Doctoral Symposium, May To be published.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.